Explicit knowledge engineering patterns with macros
نویسنده
چکیده
The web ontology language OWL is still a very young language. Experience with the language will build an increasing pool of ontology design patterns and best practises. In this paper we introduce macros for OWL ontologies. Macros are able to formally specify and capture design patterns for the knowledge engineering task with OWL ontologies. Thus the user is enabled to conveniently reuse them. Macros lead to an enhanced maintainability of the ontology, to a higher level of abstraction in the specification (and thus closer to the human conceptualization), to a faster and less error-prone creation of the ontology (and thus to lower costs) and to automation of several tedious tasks in the ontology life cycle. We present example macros, discuss further applications, advantages and problems of macros, and discuss the development of an implementation to enable the usage of macros.
منابع مشابه
Reasonable Macros for Ontology Construction and Maintenance
Creating and maintaining ontology knowledge bases are difficult processes that can be improved by using macro or templating languages that help structure the ontology engineering task and reduce unnecessary repetitions of ontology patterns. However, since the templates themselves need to be created and maintained, suitable tool support for their maintenance is vital in order to ensure the quali...
متن کاملLearning Macro-Actions for Arbitrary Planners and Domains
Many complex domains and even larger problems in simple domains remain challenging in spite of the recent progress in planning. Besides developing and improving planning technologies, re-engineering a domain by utilising acquired knowledge opens up a potential avenue for further research. Moreover, macro-actions, when added to the domain as additional actions, provide a promising means by which...
متن کاملLearning Macro-Actions Genetically from Plans
Despite recent progress in planning, many complex domains and even larger problems in simple domains remain hard and challenging. One way to achieve further improvement is to utilise knowledge acquired for the planner from the domain. Macro-actions are a promising means by which to convey such knowledge. A macro-action, or macro in short, is a group of actions selected for application as a sing...
متن کاملFully-parameterized, first-class modules with hygienic macros
It is possible to define a formal semantics for configuration, elaboration, linking, and evaluation of fully-parameterized first-class modules with hygienic macros, independent compilation, and code sharing. This dissertation defines such a semantics making use of explicit substitution to formalize hygienic expansion and linking. In the module system, interfaces define the static semantics of m...
متن کاملAbstraction and Performance from Explicit Monadic Reflection
Most of the existing literature about monadic programming focuses on theory but does not address issues of software engineering. Using monadic parsing as a running example, we demonstrate monadic programs written in a typical style, recognize how they violate abstraction boundaries, and recover clean abstraction crossings through monadic reflection. Once monadic reflection is made explicit, it ...
متن کامل